Birebir örten fonksiyon, matematiksel fonksiyonlar arasında özel bir yere sahip olan ve hem birebir (enjektif) hem de örten (sürjektif) özelliklerini taşıyan fonksiyonlardır.
Tanım:
Bir f: A → B fonksiyonu, eğer hem birebir hem de örten ise, birebir örten fonksiyondur. Bu, aşağıdaki iki koşulun sağlanması anlamına gelir:
Birebirlik (Enjektiflik): A kümesindeki farklı her elemanın, B kümesinde farklı bir karşılığı vardır. Yani, eğer f(x₁) = f(x₂) ise, x₁ = x₂ olmalıdır. Başka bir deyişle, her y ∈ B için en fazla bir x ∈ A vardır öyle ki f(x) = y.
Örtenlik (Sürjektiflik): B kümesindeki her elemanın, A kümesinde en az bir karşılığı vardır. Yani, her y ∈ B için, f(x) = y olacak şekilde en az bir x ∈ A vardır. Başka bir deyişle, f(A) = B olmalıdır.
Özellikleri:
Önemli Not: Birebir örten fonksiyonlar, matematiksel dönüşümlerin ve eşlemelerin temelini oluşturur ve birçok alanda kullanılır.